(a) => b